翻訳と辞書 Words near each other ・ ナンバ (ホームセンター) ・ ナンバ (歩行法) ・ ナンバMG5 ・ ナンバなんなんタウン ・ ナンバガ ・ ナンバット ・ ナンバデッドエンド ・ ナンバヒップス ・ ナンバリ ・ ナンバリング ・ ナンバリング (計算可能性理論) ・ ナンバリーン・エンフバヤル ・ ナンバンエビ ・ ナンバンカラスウリ ・ ナンバンキカラスウリ ・ ナンバンギセル ・ ナンバンギセル属 ・ ナンバンゲ ・ ナンバンサイカチ ・ ナンバンハコベ Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク ナンバリング (計算可能性理論) ： ウィキペディア日本語版 ナンバリング (計算可能性理論) ナンバリング（）は自然数から対象の集合への対応付けをいう。対象としては例えば関数、有理数、グラフ、形式言語などである。ナンバリングは自然数に対して定義された計算可能性や関連する概念を他の種類の対象に一般化する際に用いることができる。 よく知られた例としては一階述語論理のゲーデル数化や部分計算可能関数のアクセプタブル・ナンバリングがある。 == 定義と例 == 集合 $S$ のナンバリングとは $\backslash mathbb$ から $S$ の上への部分関数をいう（Ershov 1999:477）。ナンバリング ν の ''i'' に於ける値は（定義されるなら）しばしば $\backslash nu(i)$ の代わりに ν'i'' と書かれる。 例えば、$\backslash mathbb$ の全ての有限部分集合からなる集合は :$\backslash gamma(\backslash emptyset)\; =\; 0$ :$\backslash gamma(\backslash )\; =\; \backslash sum\_\; 2^$ なるナンバリングを持つ（Ershov 1999:477）。 2つ目の例として、部分計算可能関数のナンバリング $\backslash varphi\_i$ は、 ''W''(''i'') を φ''i'' の定義域と定めることで帰納的可算集合のナンバリング ''W'' として利用できる。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「ナンバリング (計算可能性理論)」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.